System programming language - PDFSEARCH.IO - Document Search Engine

System programming language
Results: 2012

#	Item
831	The Q-32 LISP 1.5 Mod. 2.5 System : Input-Output File and Library Functions Add to Reading List Source URL: www.softwarepreservation.org Language: English - Date: 2012-08-23 20:18:26 Lisp programming language Lisp End-of-file Genera S-expression Read–eval–print loop Magnetic tape Subroutine Write Computing Computer programming Software engineering
832	Facilitating Reuse in Hardware Models with Enhanced Type Inference Manish Vachharajani Neil Vachharajani Add to Reading List Source URL: liberty.cs.princeton.edu Language: English - Date: 2011-11-28 14:53:01 Computing Type inference Type system Parametric polymorphism Subtype polymorphism Generic programming Standard ML Hindley–Milner Data type Type theory Software engineering Programming language theory
833	Reltool Copyright © [removed]Ericsson AB, All Rights Reserved Reltool[removed]June[removed] Copyright © [removed]Ericsson AB, All Rights Reserved Add to Reading List Source URL: www.erlang.org Language: English Erlang programming language Ericsson Erlang Open Telecom Platform X Window System Module Mouse button Computing Software System software
834	Advances in Programming Languages APL6: Types, Classes, Haskell Ian Stark School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-10-07 19:06:11 Programming language theory Haskell Structural type system Type signature Nominative type system Polymorphism Abstract type Type class Java Software engineering Computing Type theory
835	The Design and Implementation of Typed Scheme Sam Tobin-Hochstadt Matthias Felleisen PLT, Northeastern University Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-01-16 15:37:27 Type theory Racket Type system Type safety Lambda calculus Scheme Programming language System F Type inference Software engineering Programming language theory Computing
836	Advances in Programming Languages APL12: Language Augmentations and Correctness David Aspinall (some slides by Ian Stark) School of Informatics Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-11-09 11:24:01 Procedural programming languages Cross-platform software Theoretical computer science Logic in computer science Type theory Type system Programming language Formal verification C Computing Software engineering Computer programming
837	Qualified Types for MLF Daan Leijen Andres L¨oh Institute of Information and Computing Sciences, Utrecht University Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:15 Mathematical logic Parametric polymorphism Type class System F Normal function Type inference Ordinal number Type system Kind Type theory Software engineering Programming language theory
838	True Sums of Products Workshop on Generic Programming 2014 Edsko de Vries, Andres Löh 31 August 2014 Add to Reading List Source URL: kosmikus.org Language: English - Date: 2014-09-01 09:38:41 Type theory Data types Generic programming Lambda calculus Logic in computer science Type system Combinatory logic C Haskell Software engineering Programming language theory Computing
839	The Q-32 LISP 1.5 Mod. 2.5 System : Input-Output File and Library Functions Add to Reading List Source URL: www.softwarepreservation.org Language: English - Date: 2012-08-23 20:18:26 Lisp programming language Lisp End-of-file Genera S-expression Read–eval–print loop Magnetic tape Subroutine Write Computing Computer programming Software engineering
840	APL2 Programming: IBM Processor Interface Reference Version 2 Release 1 Add to Reading List Source URL: publibfp.boulder.ibm.com Language: English - Date: 2002-05-06 04:11:59 Computer programming Array programming languages IBM software Procedural programming languages APL MVS PL/I IBM System/370 Fortran Computing Software engineering APL programming language family

UPDATE